BLP机密性模型中,安全级的顺序一般规定为:公开<秘密<机密<绝密。两个范畴集之间的关系是包含、被包含或无关。如果一个BLP机密性模型系统访问类下:
文件E访问类:{机密:财务处,科技处};
文件F访问类:{机密:人事处,财务处};
用户A访问类:{绝密:人事处};
用户B访问类:{绝密:人事处,财务处,科技处}。
则以下表述中,正确的是( )。